Fluid Object Types
نویسندگان
چکیده
Objects in popular scripting languages are lightweight and dynamic. Programmers use these objects in ways that confound existing type systems. We present a core calculus, λ S , that distills the essence of objects in a number of scripting languages. Using λ S , we examine characteristic object-oriented scripting idioms that are untypable by conventional type systems. We develop fluid object types, a novel generalization of structural object types. Fluid object types can specify the presence or absence of fields, their position in the inheritance chain, and employ string pattern types to describe (possibly infinite) collections of fields. We have implemented fluid object types in our experimental type-checker for JavaScript. We briefly report on our experience with our prototype.
منابع مشابه
General relativistic hydrodynamic flows around a static compact object in final stages of accretion flow
Dynamics of stationary axisymmetric configuration of the viscous accreting fluids surrounding a non-rotating compact object in final stages of accretion flow is presented here. For the special case of thin disk approximation, the relativistic fluid equations ignoring self-gravity of the disk are derived in Schwarzschild geometry. For two different state equations, two sets of self-consistent an...
متن کاملFisher Discriminant Analysis (FDA), a supervised feature reduction method in seismic object detection
Automatic processes on seismic data using pattern recognition is one of the interesting fields in geophysical data interpretation. One part is the seismic object detection using different supervised classification methods that finally has an output as a probability cube. Object detection process starts with generating a pickset of two classes labeled as object and non-object and then selecting ...
متن کاملComparing the accuracy of pixel and object-based classification methods in mapping vegetation types (Case study: Marjan Boroujen)
This article has no abstract.
متن کاملModelling and simulation of processes in microfluidic devices for biomedical applications
We investigate a mathematical model describing the flow of a liquid in a microchannel. The model incorporates immersed objects in the fluid as well as fixed obstacles and boundaries of the microchannel. Objects can have different elastic properties, including solid objects and deformable objects. The flow description accounts for all types of mechanical interactions: fluid-object, object-object...
متن کاملConjugate Heat Transfer in an Enclosure Containing a Polygon Object
Abstract—Conjugate natural convection in a differentially heated square enclosure containing a polygon shaped object is studied numerically in this article. The effect of various polygon types on the fluid flow and thermal performance of the enclosure is addressed for different thermal conductivities. The governing equations are modeled and solved numerically using the built-in finite element m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011